<?php
$z[0]=Array("global","",67,92);
$z[0][4]['name']="autoindex";
$z[1]=Array("arcurl","",175,190);
$z[2]=Array("title","",192,206);
$z[3]=Array("global","",238,263);
$z[3][4]['name']="autoindex";
$z[4]=Array("arcurl","",346,361);
$z[5]=Array("title","",363,377);
$z[6]=Array("global","",409,434);
$z[6][4]['name']="autoindex";
$z[7]=Array("arcurl","",545,560);
$z[8]=Array("title","",562,576);
$z[9]=Array("typeurl","",695,712);
$z[10]=Array("typename","",737,755);
$z[11]=Array("arcurl","",770,785);
$z[12]=Array("title","",787,801);

?>